大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Interactive Software Engineering 的图书(共3045本)

Model-Driven Architecture in Practice [electronic resource] : A Software Production Environment Based on Conceptual Modeling

0
索取号：
作者：Pastor、 Oscar.、Molina、 Juan Carlos.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Measurement [electronic resource] : Establish 鈥Ÿtract 鈥Ŷaluate 鈥Ÿecute

0
索取号：
作者：Ebert、 Christof.、Dumke、 Reiner.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fuzzy Information and Engineering [electronic resource] : Proceedings of the Second International Conference of Fuzzy Information and Engineering (ICFIE)

0
索取号：
作者：Cao、 Bing-Yuan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Product Lines in Action [electronic resource] : The Best Industrial Practice in Product Line Engineering

0
索取号：
作者：Linden、 Frank.、Schmid、 Klaus.、Rommes、 Eelco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Foundations of Software Science and Computational Structures [electronic resource] : 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007. Proceedings

0
索取号：
作者：Seidl、 Helmut.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Information Technologies in Environmental Engineering [electronic resource] : ITEE 2007 - Third International ICSC Symposium

0
索取号：
作者：G贸mez、 Jorge Marx.、Sonnenschein、 Michael.、M眉ller、 Martin.、Welsch、 Heinz.、Rautenstrauch、 Claus.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Programming Languages and Systems [electronic resource] : 16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint European Conferences on Theory and Practics of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Nicola、 Rocco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Empirical Software Engineering Issues. Critical Assessment and Future Directions [electronic resource] : International Workshop, Dagstuhl Castle, Germany, June 26-30, 2006. Revised Papers

0
索取号：
作者：Basili、 Victor R.、Rombach、 Dieter.、Schneider、 Kurt.、Kitchenham、 Barbara.、Pfahl、 Dietmar.、Selby、 Richard W.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fundamental Approaches to Software Engineering [electronic resource] : 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Dwyer、 Matthew B.、Lopes、 Ant贸nia.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Compiler Construction [electronic resource] : 16th International Conference, CC 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 26-30, 2007. Proceedings

0
索取号：
作者：Krishnamurthi、 Shriram.、Odersky、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007. Proceedings

0
索取号：
作者：Grumberg、 Orna.、Huth、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Fast Software Encryption [electronic resource] : 15th International Workshop, FSE 2008, Lausanne, Switzerland, February 10-13, 2008, Revised Selected Papers

0
索取号：
作者：Nyberg、 Kaisa.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent-Oriented Software Engineering VII [electronic resource] : 7th International Workshop, AOSE 2006, Hakodate, Japan, May 8, 2006, Revised and Invited Papers

0
索取号：
作者：Padgham、 Lin.、Zambonelli、 Franco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Protein Engineering [electronic resource]

0
索取号：
作者：K枚hrer、 Caroline.、RajBhandary、 Uttam L.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Model-Driven Development of Reliable Automotive Services [electronic resource] : Second Automotive Software Workshop, ASWSD 2006, San Diego, CA, USA, March 15-17, 2006, Revised Selected Papers

0
索取号：
作者：Broy、 Manfred.、Kr眉ger、 Ingolf H.、Meisinger、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software, Verification and Testing [electronic resource] : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers

0
索取号：
作者：Bin、 Eyal.、Ziv、 Avi.、Ur、 Shmuel.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.